منابع مشابه
Maintaining Telephone Switching Software Requirements ∗
We discuss how telephony software requirements should be structured to reduce maintenance costs. “Feature interaction” problems have become a serious obstacle to add more features to telephone switches. We show why existing public switched telephone networks are hard to modify. We then argue that a more modular, layered requirements architecture can help. Finally we survey approaches for such a...
متن کاملFailure Detection in Telephone Switching Systems
Today software systems are playing a critical role in the operation of telecommunication networks. The steadly growing size and complexity of these systems are making them extremely difficulty to exaustively test the software to ensure that it will adequately perform its specified function. With the increasing reliance on software systems for implementation of telecom service functionality, the...
متن کاملModelling a Telephone Switching System for Veriication
After identifying the general structure of a POTS (Plain Old Telephone System) Switching System we model individual components as communicating-nite state machines. Formulating the nite state machines in Promela (Process Meta Language) allows us to verify general and speciic properties of the model using the model-checker Spin. Modelling operational systems imposes design decisions, which we wi...
متن کاملFamilies of Formal Requirements in Telephone Switching
We introduce to the idea of families of requirements documents. Requirements families are sets of requirements whose common properties are so extensive that it is advantageous to study the common properties in the requirements before analyzing individual members. We present how we can apply this idea with a formal description technique, how our approach helps to avoid feature interaction proble...
متن کاملPrediction of Landing Gear Loads Using Machine Learning Techniques
This paper investigates the feasibility of using machine learning algorithms to predict the loads experienced by a landing gear during landing. For this purpose, results on drop test data and flight test data will be examined. This paper will focus on the use of Gaussian Process regression for the prediction of loads on components of a landing gear. For the learning task, comprehensive measurem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Institution of Electrical Engineers
سال: 1917
ISSN: 2054-0612
DOI: 10.1049/jiee-1.1917.0018